Effective prime uniqueness

Effective Prime Uniqueness

Assuming the obvious definitions below, we show that a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to the theorem that there are two atomic decidable models which are not computably isomorphic. We end with a section describing the implications of this result in rev...

On uniqueness of prime bipartite factors of graphs

It has long been known that the class of connected nonbipartite graphs (with loops allowed) obeys unique prime factorization over the direct product of graphs. Moreover, it is known that prime factorization is not necessarily unique in the class of connected bipartite graphs. But any prime factorization of a connected bipartite graph has exactly one bipartite factor. Moreover, empirical evidenc...

Uniqueness of the Thermal Effective Potential

We discuss the use of derivative expansion techniques for the construction of thermal effective potentials. We present a theory for which the thermal bubble is analytic at the origin of the momentum-frequency space, although the internal propagators in the loop have the same mass. This means that, for this theory, the thermal effective potential is uniquely defined. We then examine a slightly d...

Vanishing, Singularities and Effective Bounds via Prime Characteristic Local Algebra

Uniqueness of Moore ’ s higher reciprocity law at the prime 2 for real number fields